(redisplay_window): If mini window's buffer is not
authorRichard M. Stallman <rms@gnu.org>
Mon, 20 Jan 2003 08:53:53 +0000 (08:53 +0000)
committerRichard M. Stallman <rms@gnu.org>
Mon, 20 Jan 2003 08:53:53 +0000 (08:53 +0000)
commitcd81a8076f227851a921cfd03e9b0cf6fe1344be
tree67eb978fe3f26a5575b390aa970c0643508eb790
parent1d063eead6ed8959bdd03070068d4d87bab8135c
(redisplay_window): If mini window's buffer is not
a minibuffer, then redisplay it like other windows.
src/xdisp.c